nondiscrete space

非离散空间